New York

Results: 155144



#Item
1Theoretical computer science / Mathematics / Computational complexity theory / Logic in computer science / NP-complete problems / Electronic design automation / Formal methods / Constraint programming / Satisfiability modulo theories / Boolean satisfiability problem / Solver / Automated reasoning

Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-21 06:41:07
2Computing / Engineering / Software engineering / Software testing / Information and communications technology / Product development / Software development / Software engineer / Test automation / Software quality

AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

Add to Reading List

Source URL: www.aetherworks.com

Language: English - Date: 2018-06-25 16:20:00
3Economy / Money / Finance / Insurance in the United States / Title insurance / Fee / Insurance / Refinancing

Spruce Land Services Standard Fees—New York State Title Premiums: Rates of title insurance premiums are promulgated by the New York State Department of Financial Services. Applicants receive all statutory discounts and

Add to Reading List

Source URL: spruce.co

Language: English - Date: 2018-10-25 00:12:57
4Economy / Financial services / Technology / E-commerce / Microfinance / Mobile telecommunications / Payment systems / Mobile banking / Mobile content / Mobile payment / Mobile phone / Unbanked

NEW YORK CITY MOBILE SERVICES STUDY Research Brief Consumer

Add to Reading List

Source URL: www1.nyc.gov

Language: English - Date: 2018-07-19 14:21:32
5United States intelligence agencies / Staff / Secretary / Central Intelligence Agency

Position: Operations-Office Coordinator/Manager Location: New York, NY/Oakland, CA Job Category: Full Time ABOUT BLACK GIRLS CODE: Launched in 2011, Black Girls CODE (BGC) is devoted to showing the world that black girls

Add to Reading List

Source URL: www.blackgirlscode.com

Language: English - Date: 2018-10-13 20:53:33
6Port Authority of New York and New Jersey / Sofitel / AccorHotels / New Jersey / Midtown Manhattan / Transportation in the United States / RER A / O'Hare International Airport / John F. Kennedy International Airport / Orlando International Airport / Newark Liberty International Airport / Paris

NEW YORK IS MAGNIFIQUE DISCOVER THIS STUNNING ADDRESS, BLENDING ART AND FRENCH FLAIR, S I T U AT E D I N T H E H E A R T O F T H E

Add to Reading List

Source URL: s3.amazonaws.com

Language: English - Date: 2018-06-07 19:11:47
7Model theory / Mathematics / Metalogic / Logic / Mathematical logic / Interpretation / Structure

Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing t

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2014-06-27 12:47:14
8Learning / Education / Human behavior / Educational psychology / Educational practices / Philosophy of education / Curricula / Bayesian network / Active learning / Question / Bayesian inference / Machine learning

Asking and evaluating natural language questions Anselm Rothe1 , Brenden M. Lake2 , and Todd M. Gureckis1 1 Department of Psychology, 2 Center for Data Science, New York University

Add to Reading List

Source URL: cims.nyu.edu

Language: English - Date: 2016-05-13 20:53:50
9Artificial neural networks / Computational neuroscience / Artificial intelligence / Learning / Applied mathematics / Machine learning / Computational statistics / Computer vision / Convolutional neural network / Deep learning / Concept learning / One-shot learning

Learning Inductive Biases with Simple Neural Networks Reuben Feinman () Center for Neural Science New York University Abstract People use rich prior knowledge about the world in order to

Add to Reading List

Source URL: cims.nyu.edu

Language: English - Date: 2018-06-05 14:44:05
10Health / Drug advertising / Marketing / Advertising / Communication design / Product design / Pharmaceutical marketing / Pharmaceutical industry / Pfizer

Executives Left to right: Jon Nelson, President, GSW-Newtown Dan Smith, President, GSW-Columbus Kim Johnson, President, GSW-New York and Santa Monica Mark Jazvac, President, GSW-Canada

Add to Reading List

Source URL: www.gsw-w.com

Language: English - Date: 2018-09-29 13:06:58
UPDATE